Disjunctive Logic Programming and Databases: Non-monotonic Aspects 1 a Note from the Organizers
نویسنده
چکیده
to meet the growing interest in this area of research. It brought together about forty researchers from various countries. Dagstuhl, a place being developed exclusively for research activities in Computer Science, provides an excellent atmosphere for researchers to meet and exchange ideas. During the ve days of the seminar, there were vaious talks, panel discussions, and system demonstrations. This report summarizes all these activities. An on-line version of this report is available at the URL Non-monotonic reasoning plays a fundamental role in knowledge representation , diagnosis, reasoning about action, logic programming and deductive
منابع مشابه
A Note from the Organizers
This report covers the seminar on Disjunctive Logic Programming and Databases: Non-monotonic Aspects, held at Dagstuhl, Germany during July 1–5, 1996. This seminar was organized by Jürgen Dix, Donald Loveland, Jack Minker, and David Warren to meet the growing interest in this area of research. It brought together about forty researchers from various countries. Dagstuhl, a place being developed ...
متن کاملStable Semantics for Disjunctive Programs
[VG89b] A. Van Gelder. Negation as failure using tight derivations for general logic programs. [Prz91c] T. C. Przymusinski. Three-valued non-monotonic formalisms and semantics of logic programs. Journal of Articial Intelligence, 1991. (In print. Extended abstract appeared in: T. C. Przy-musinski. Three-valued non-monotonic formalisms and logic programming. [Ros89b] K. Ross. The well founded sem...
متن کاملDisLog { A System for Reasoning in Disjunctive Deductive Databases
DisLog is a system for reasoning in disjunctive deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such as all{result inference capabilities. Several basic operators are provided for logical and non{monotonic reasoning: The logical consequence operator derives all logically implie...
متن کاملDISLOG – A Disjunctive Deductive Database Prototype
DISLOG is a system for reasoning in disjunctive deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such as all–result inference capabilities. Several basic operators are provided for logical and non–monotonic reasoning: The logical consequence operator derives all logically implie...
متن کاملQuerying Disjunctive Database Through Nonmonotonic Logics
Query languages for retrieving information from disjunctive databases are an interesting open area of research. In this paper we study the expressive power of major non-monotonic formalisms { such as circumscription, default logic, autoepis-temic logic and some logic programming languages { used as query languages over disjunctive databases. For this aim, we deene the semantics of query express...
متن کامل